"indenter" meaning in All languages combined

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "indent",
        "3": "er",
        "id2": "agent noun"
      },
      "expansion": "indent + -er",
      "name": "suffix"
    }
  ],
  "etymology_text": "From indent + -er.",
  "forms": [
    {
      "form": "indenters",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "indenter (plural indenters)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "_dis1": "0 0",
      "word": "indentor"
    }
  ],
  "senses": [
    {
      "examples": [
        {
          "text": "an XML indenter"
        },
        {
          "text": "a diamond indenter"
        }
      ],
      "glosses": [
        "A device or program that indents"
      ],
      "id": "en-indenter-en-noun-2WWgbUsU",
      "links": [
        [
          "indent",
          "indent"
        ]
      ]
    },
    {
      "categories": [
        {
          "_dis": "22 78",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        },
        {
          "_dis": "13 87",
          "kind": "other",
          "name": "English terms suffixed with -er (agent noun)",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "17 83",
          "kind": "other",
          "name": "Entries with translation boxes",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "15 85",
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "9 91",
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "10 90",
          "kind": "other",
          "name": "Terms with Italian translations",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "A tool or device used to make a physical impression or indentation"
      ],
      "id": "en-indenter-en-noun-1jPSJ~5K",
      "links": [
        [
          "indentation",
          "indentation"
        ]
      ],
      "translations": [
        {
          "_dis1": "44 56",
          "code": "it",
          "lang": "Italian",
          "sense": "Translations",
          "tags": [
            "masculine"
          ],
          "word": "indentatore"
        }
      ]
    }
  ],
  "sounds": [
    {
      "rhymes": "-ɛntə(ɹ)"
    }
  ],
  "word": "indenter"
}

{
  "categories": [
    "English countable nouns",
    "English entries with incorrect language header",
    "English lemmas",
    "English nouns",
    "English terms suffixed with -er (agent noun)",
    "Entries with translation boxes",
    "Pages with 1 entry",
    "Pages with entries",
    "Rhymes:English/ɛntə(ɹ)",
    "Rhymes:English/ɛntə(ɹ)/3 syllables",
    "Terms with Italian translations",
    "Translation table header lacks gloss"
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "indent",
        "3": "er",
        "id2": "agent noun"
      },
      "expansion": "indent + -er",
      "name": "suffix"
    }
  ],
  "etymology_text": "From indent + -er.",
  "forms": [
    {
      "form": "indenters",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "indenter (plural indenters)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "word": "indentor"
    }
  ],
  "senses": [
    {
      "examples": [
        {
          "text": "an XML indenter"
        },
        {
          "text": "a diamond indenter"
        }
      ],
      "glosses": [
        "A device or program that indents"
      ],
      "links": [
        [
          "indent",
          "indent"
        ]
      ]
    },
    {
      "glosses": [
        "A tool or device used to make a physical impression or indentation"
      ],
      "links": [
        [
          "indentation",
          "indentation"
        ]
      ]
    }
  ],
  "sounds": [
    {
      "rhymes": "-ɛntə(ɹ)"
    }
  ],
  "translations": [
    {
      "code": "it",
      "lang": "Italian",
      "sense": "Translations",
      "tags": [
        "masculine"
      ],
      "word": "indentatore"
    }
  ],
  "word": "indenter"
}